Dynamic logic

Dynamic Logic may mean:

In theoretical computer science, dynamic logic (modal logic) is a modal logic for reasoning about dynamic behaviour
In digital electronics, dynamic logic (digital electronics) is a technique used for (clocked) combinatorial circuit design
A different concept proposed by Leonid Perlovsky
A Texas corporation, Dynamic Logic Inc performs processing system & software engineering services and was founded in 2002 by electronics and computer engineer Jonathan L. Nesbitt, BSEE UTexas Austin. The founder has embedded systems experience at Freescale Semiconductor as a Systems and Software Engineering lead for Systems On a Chip (SOC), and at XILINX as former ZYNQ processing system architect (FPGA + dual ARM A9 CPU) for systems across several industries. His system engineering services have helped drive two startups to large revenue success in Austin including GenBand and SigmaTel. At Genband he was Real Time OS protocols architect for the G6 central office VOIP gateway and team lead for the customer premise gateway system & software team. At SigmaTel ($300M revenue) he served as system on a chip software lead. SigmaTel was acquired by Freescale in 2008. www.DynamicLogic.US

This disambiguation page lists articles associated with the same title.
If an internal link led you here, you may wish to change the link to point directly to the intended article.